Stefan Mengel
17 publications
5 venues
H Index 6
Affiliation
CNRS, CRIL, Lens, Francecole Polytechnique, LIX, Palaiseau, France
TU Berlin, Department of Mathematics, Germany
University of Paderborn, Institute of Mathematics, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Bounds on BDD-Based Bucket Elimination.
|
SAT | 2023 | 0 |
| Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.
|
JAIR | 2023 | 0 |
| Changing Partitions in Rectangle Decision Lists.
|
SAT | 2022 | 0 |
| Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation.
|
AAAI | 2022 | 0 |
| A Compilation of Succinctness Results for Arithmetic Circuits.
|
KR | 2021 | 1 |
| Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.
|
SAT | 2021 | 3 |
| Proof Complexity of Symbolic QBF Reasoning.
|
SAT | 2021 | 1 |
| Lower Bounds for Approximate Knowledge Compilation.
|
IJCAI | 2020 | 1 |
| On Irrelevant Literals in Pseudo-Boolean Constraint Learning.
|
IJCAI | 2020 | 4 |
| Revisiting Graph Width Measures for CNF-Encodings.
|
JAIR | 2020 | 0 |
| Revisiting Graph Width Measures for CNF-Encodings.
|
SAT | 2019 | 2 |
| QBF as an Alternative to Courcelle's Theorem.
|
SAT | 2018 | 11 |
| Pseudo-Boolean Constraints from a Knowledge Representation Perspective.
|
IJCAI | 2018 | 8 |
| Parameterized Compilation Lower Bounds for Restricted CNF-Formulas.
|
SAT | 2016 | 6 |
| Knowledge Compilation Meets Communication Complexity.
|
IJCAI | 2016 | 39 |
| On Compiling CNFs into Structured Deterministic DNNFs.
|
SAT | 2015 | 16 |
| Hypergraph Acyclicity and Propositional Model Counting.
|
SAT | 2014 | 11 |